projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb396d8) | patch
Coverity: Improve model for {,un}map_domain_page()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 6 Jan 2020 13:26:28 +0000 (13:26 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 6 Jan 2020 17:22:17 +0000 (17:22 +0000)
commit18dca1410d4120cb276028e400efa045c5c8a972
treed06626d38919c081fe7241d15ca5102e475dad1ftree | snapshot
parentcb396d8256ddb416a9a5583fa19560a3e05d5cc6commit | diff
Coverity: Improve model for {,un}map_domain_page()

The first attempt resulted in several "Free of address-of
expression (BAD_FREE)" issues, because of code which relies on the fact that
any pointer in the same page is ok to pass to unmap_domain_page()

Model this property to remove the issues.

Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
misc/coverity/model.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.